correctness specification
英 [kəˈrektnəs ˌspesɪfɪˈkeɪʃn]
美 [kəˈrektnəs ˌspesɪfɪˈkeɪʃn]
【计】正确性规范，正确性说明
双语例句
- The process of certification ensures the correctness of service contracts created as part of service specification
认证过程确保服务规格说明中服务合约的正确性 - In the Cleanroom process, correctness is built in by the development team through formal specification, design, and verification.
在净室过程中，错误纠正被开发组贯穿于整个说明、设计和验证过程中。 - In order to improve the correctness of creating switching sequence a comprehensive safety strategy of operation specification was proposed.
根据“五防”和安全操作规程的要求，提出通用全面的防误策略。 - The Z language is used to specify the classical MLS model, to testify the correctness of the model and to provide valuable method and ground for the formal specification of the security model.
形式语言Z对经典的多级安全模型BLP模型进行了规范描述，并验证了模型的正确性，为安全模型的形式化建模提供了方法和依据。 - Single cylinder calculation method is established, the correctness of the calculation method is verified through test values from the test bed, and the specification of injector nozzle is determined by use of the single cylinder calculation method.
建立单缸计算模型，通过台架测试数据验证了模型的正确性，并利用单缸计算模型计算确定发动机喷油嘴规格。 - Many sophisticated verification algorithms and techniques exist that ensure the correctness of a design, and answer whether circuit implementation is equivalent with design specification. Verification includes circuit simulation and formal verification which in form of property checking and equivalence checking.
已有的验证算法和技术都是基于确保设计正确性的原则，回答电路实现和规格说明是否等价一致，其包括电路模拟和形式验证&属性检查与等价验证。 - And shopping site system black box white box testing, to verify the correctness, consistency, and reliability of the various functional modules, the performance indicators meet or exceed the requirements specification.
并且，通过对购物网站系统进行相关黑盒白盒测试，验证了各个功能模块的正确性、一致性以及可靠性，各项性能指标也都达到或超过了用户的需求规格。 - In model-driven design methodology for SoC, consistence verification between deferent abstraction levels is the key technology to make sure the correctness that lower design can implement the upper specification.
在模型驱动的SoC设计方法学中，不同抽象层次上行为一致性验证，是确保底层设计满足上层设计约束的关键。